Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
631	Best-First Rippling Moa Johansson, Alan Bundy and Lucas Dixon 1 School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-10 06:07:20 Automated theorem proving Mathematics Theoretical computer science Search algorithms Heuristics Rippling Logic IsaPlanner Formal languages Logic in computer science A* search algorithm Mathematical proof
632	Logical- and Meta-Logical Frameworks Lecture 1 Carsten Sch¨ urmann August 3, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:35 Logic in computer science Type theory Proof theory Classical logic Semantics Logical framework Propositional calculus Intuitionistic logic Negation Logic Mathematical logic Judgment
633	IsaCoSy: Synthesis of Inductive Theorems Moa Johansson, Lucas Dixon, and Alan Bundy University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. {moa.johansson, l.dixon, a.bundy}@ed.ac.uk Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-02-11 12:51:44 Automated theorem proving Logic Mathematics Mathematical logic Rippling Theorem Mathematical proof Isabelle Proof assistant
634	Microsoft Word - writproj_title.doc Add to Reading List Source URL: www.cs.sjsu.edu Language: English - Date: 2008-01-23 11:12:16 Proof assistants Software Programming language theory Functional languages Type theory Coq Agda Theorem Metamath Coenzyme Q10 Mathematical proof Mathematical logic
635	Content Extraction Using Diverse Feature Sets Matthew E. Peters Dan Lecocq SEOmoz Add to Reading List Source URL: www2013.wwwconference.org Language: English - Date: 2014-07-21 08:47:02 Computational linguistics Algorithm Mathematical logic Theoretical computer science Data mining Information science Academia Natural language processing Mathematics Document clustering Automatic summarization
636	Specware to Isabelle Interface Manual Specware to Isabelle Interface Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC Add to Reading List Source URL: www.specware.org Language: English - Date: 2012-04-12 03:46:22 Software engineering Mathematical logic Logic Proof assistants Type theory Logic in computer science Automated theorem proving Isabelle Predicate logic HOL Quantifier ML
637	A Proof Planning Framework For Isabelle Lucas Dixon NI VER Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-03-27 10:16:29 Automated theorem proving Mathematics Mathematical logic Logic IsaPlanner Rippling Mathematical proof Mathematical induction Proof assistant Isabelle Algorithm Peano axioms
638	Program Logics for Certified Compilers Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2013-05-31 14:00:42 Theoretical computer science Logic in computer science Formal methods Mathematical logic Automated theorem proving Substructural logic Formal verification Compiler correctness Separation logic Correctness Semantics Hoare logic
639	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2015-07-27 06:09:15 Automated theorem proving Theoretical computer science Logic Formal methods Mathematics Logic in computer science Proof theory Mathematical proof Proof assistant Isabelle Theorem Proof
640	Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2005-08-10 11:35:47 Theoretical computer science Mathematical logic Logic in computer science Type theory Proof assistants Mathematics Automated theorem proving Isabelle Logical framework Twelf Formal methods Automated reasoning